HH^ZZ ChainComplexMap -- cohomology of a chain complex map

Synopsis

Usage:
HH^i f
Function: cohomology
Inputs:
- i, an integer
- f, a chain complex map
Outputs:
- a matrix, the i-th cohomology map induced by the chain complex map f
Optional inputs:
- Degree => ...,

The command provides the map on the i-th cohomology module induced by a map f of chain complexes.